Specialized Machine Instruction Set for Geometric Algebra
نویسندگان
چکیده
Geometric algebra covers many mathematical areas such as vector algebra, complex numbers, Pluecker coordinates, quaternions. It is geometrically intuitive and has a lot of potential for optimization and parallelization. In this paper, we develop an approach for the specialized machine instruction set GAPP based on our table-based compilation approach for geometric algebra computing. GAPP can be used as a representation from which consecutive target platform optimizations may be performed. An FPGA platform implementation is even capable of executing this instruction set directly without further transformations, thereby fully exploiting parallelism. An implementation of GAPP as a back end for the Gaalop compiler is already available. This is an important step towards the long term vision of microcomputers specifically designed for Geometric Algebra (Geometric Algebra Computers). Dietmar Hildenbrand TU Darmstadt, Germany, e-mail: [email protected] Patrick Charrier TU Darmstadt, Germany, e-mail: [email protected] Christian Steinmetz TU Darmstadt, Germany, e-mail: [email protected] Andreas Koch TU Darmstadt, Germany, e-mail: [email protected]
منابع مشابه
Joint and Generalized Spectral Radius of Upper Triangular Matrices with Entries in a Unital Banach Algebra
In this paper, we discuss some properties of joint spectral {radius(jsr)} and generalized spectral radius(gsr) for a finite set of upper triangular matrices with entries in a Banach algebra and represent relation between geometric and joint/generalized spectral radius. Some of these are in scalar matrices, but some are different. For example for a bounded set of scalar matrices,$Sigma$, $r_*...
متن کاملAn ultra-fast instruction set simulator
In this paper, we present new techniques which further improve the static compilation-based instruction set architecture (ISA) simulation by the aggressive utilization of the host machine resources. Such utilization is achieved by defining a low-level code-generation interface specialized for ISA simulation, rather than the traditional approaches which use C as a code-generation interface. We a...
متن کاملA Process Algebra for Instruction - Set Architecture Design ?
Process algebras are suitable for modeling a wide variety of sequential and concurrent systems. They are used for modeling both hardware and software. This paper presents a process algebra (IspCal) designed for modeling and verifying synchronous digital systems at the register-transfer and instruction-set levels. It can be used for reasoning about the behavior of concurrent state machines or ha...
متن کاملOn the operating unit size of load/store architectures
We introduce a strict version of the concept of a load/store instruction set architecture in the setting of Maurer machines. We take the view that transformations on the states of a Maurer machine are achieved by applying threads as considered in thread algebra to the Maurer machine. We study how the transformations on the states of the main memory of a strict load/store instruction set archite...
متن کاملAn Instruction Set Process Calculus
We have created a calculus for reasoning about hardware and rmware at the algorithmic state machine (ASM) and instruction-set processor (ISP) levels of description. The calculus is a value-passing process algebra that extends the Mealy machine model to include parallel composition. It supports reasoning about the composed behavior of synchronous ASM and ISP components and microcode. We present ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012